An Agent-oriented Executive Model for Service Choreography
نویسندگان
چکیده
135 ABSTRACT Quick changes in requirements and opportunities in world market needs different levels of cross-organizational collaboration for integrating distributed information systems, information sharing and coordination of organizational processes. Nowadays, Web Services are the most common technology to meet these requirements. Web Services Choreography Description Language (WS-CDL), a World Wide Web Consortium (W3C) choreography-based standard, describes how a number of services coordinate to obtain the goal of such collaboration. Only a few WS-CDL based executive models have been proposed so far. Software Agents are other alternatives for solving Inter-Organization coordination problems. This paper presents an execution framework for WS-CDL using software agents. This framework provides the Web Services collaboration layer based on choreography model and automatically of agent generation of WS CDL. It also follows Web Services stack and native features of agents and Web Services.
منابع مشابه
Flexible service choreography
Service-oriented architectures are a popular architectural paradigm for building software applications from a number of loosely coupled, distributed services. Through a set of procedural rules, workflow technologies define how groups of services coordinate with one another to achieve a shared task. A problem with workflow specifications is that often the patterns of interaction between the dist...
متن کاملApplying Model Checking to Generate Model-Based Integration Tests from Choreography Models
Choreography models describe the communication protocols between services. Testing of service choreographies is an important task for the quality assurance of service-based systems as used e.g. in the context of service-oriented architectures (SOA). The formal modeling of service choreographies enables a model-based integration testing (MBIT) approach. We present MBIT methods for our service ch...
متن کاملModeling and Executing Service Interactions using an Agent-oriented Modeling Language
Modern information systems are considered as collection of independent units called services that interact with each other through the exchange of messages. This paper focuses on interactions from a more centralized or global perspective (i.e. choreography), validates the underlying approach to model interactions, and discusses how choreographies can be executed with an established agent-orient...
متن کاملOn the integration of declarative choreographies and Commitment-based agent societies into the SCIFF logic programming framework
The definition of choreography specification languages for Service Oriented Systems poses important challenges. Mainstream approaches tend to focus on procedural aspects, leading to over-constrained and over-specified models. Because of such a drawback, declarative languages are gaining popularity as a better way to model service choreographies. A similar issue was met in the Multi-Agent System...
متن کاملWeb Service Choreography Verification Using Z Formal Specification
Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...
متن کامل